Optimal. Leaf size=65 \[ -\frac {1}{36} \sqrt {2-3 x^2} \left (3 x^2-1\right )^{3/2}-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {3 x^2-1}-\frac {7}{144} \sin ^{-1}\left (3-6 x^2\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 65, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.231, Rules used = {446, 80, 50, 53, 619, 216} \begin {gather*} -\frac {1}{36} \sqrt {2-3 x^2} \left (3 x^2-1\right )^{3/2}-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {3 x^2-1}-\frac {7}{144} \sin ^{-1}\left (3-6 x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 50
Rule 53
Rule 80
Rule 216
Rule 446
Rule 619
Rubi steps
\begin {align*} \int \frac {x^3 \sqrt {-1+3 x^2}}{\sqrt {2-3 x^2}} \, dx &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {x \sqrt {-1+3 x}}{\sqrt {2-3 x}} \, dx,x,x^2\right )\\ &=-\frac {1}{36} \sqrt {2-3 x^2} \left (-1+3 x^2\right )^{3/2}+\frac {7}{24} \operatorname {Subst}\left (\int \frac {\sqrt {-1+3 x}}{\sqrt {2-3 x}} \, dx,x,x^2\right )\\ &=-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{36} \sqrt {2-3 x^2} \left (-1+3 x^2\right )^{3/2}+\frac {7}{48} \operatorname {Subst}\left (\int \frac {1}{\sqrt {2-3 x} \sqrt {-1+3 x}} \, dx,x,x^2\right )\\ &=-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{36} \sqrt {2-3 x^2} \left (-1+3 x^2\right )^{3/2}+\frac {7}{48} \operatorname {Subst}\left (\int \frac {1}{\sqrt {-2+9 x-9 x^2}} \, dx,x,x^2\right )\\ &=-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{36} \sqrt {2-3 x^2} \left (-1+3 x^2\right )^{3/2}-\frac {7}{432} \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {x^2}{9}}} \, dx,x,9 \left (1-2 x^2\right )\right )\\ &=-\frac {7}{72} \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{36} \sqrt {2-3 x^2} \left (-1+3 x^2\right )^{3/2}-\frac {7}{144} \sin ^{-1}\left (3-6 x^2\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 44, normalized size = 0.68 \begin {gather*} \frac {1}{72} \left (-7 \sin ^{-1}\left (\sqrt {2-3 x^2}\right )-\sqrt {-9 x^4+9 x^2-2} \left (6 x^2+5\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.53, size = 96, normalized size = 1.48 \begin {gather*} -\frac {\sqrt {2-3 x^2} \left (\frac {7 \left (2-3 x^2\right )}{3 x^2-1}+9\right )}{72 \sqrt {3 x^2-1} \left (\frac {2-3 x^2}{3 x^2-1}+1\right )^2}-\frac {7}{72} \tan ^{-1}\left (\frac {\sqrt {2-3 x^2}}{\sqrt {3 x^2-1}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.71, size = 72, normalized size = 1.11 \begin {gather*} -\frac {1}{72} \, {\left (6 \, x^{2} + 5\right )} \sqrt {3 \, x^{2} - 1} \sqrt {-3 \, x^{2} + 2} - \frac {7}{144} \, \arctan \left (\frac {3 \, \sqrt {3 \, x^{2} - 1} {\left (2 \, x^{2} - 1\right )} \sqrt {-3 \, x^{2} + 2}}{2 \, {\left (9 \, x^{4} - 9 \, x^{2} + 2\right )}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.38, size = 40, normalized size = 0.62 \begin {gather*} -\frac {1}{72} \, {\left (6 \, x^{2} + 5\right )} \sqrt {3 \, x^{2} - 1} \sqrt {-3 \, x^{2} + 2} + \frac {7}{72} \, \arcsin \left (\sqrt {3 \, x^{2} - 1}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 81, normalized size = 1.25 \begin {gather*} \frac {\sqrt {3 x^{2}-1}\, \sqrt {-3 x^{2}+2}\, \left (-12 \sqrt {-9 x^{4}+9 x^{2}-2}\, x^{2}+7 \arcsin \left (6 x^{2}-3\right )-10 \sqrt {-9 x^{4}+9 x^{2}-2}\right )}{144 \sqrt {-9 x^{4}+9 x^{2}-2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 2.01, size = 46, normalized size = 0.71 \begin {gather*} -\frac {1}{12} \, \sqrt {-9 \, x^{4} + 9 \, x^{2} - 2} x^{2} - \frac {5}{72} \, \sqrt {-9 \, x^{4} + 9 \, x^{2} - 2} + \frac {7}{144} \, \arcsin \left (6 \, x^{2} - 3\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 12.04, size = 414, normalized size = 6.37 \begin {gather*} -\frac {7\,\mathrm {atan}\left (\frac {\sqrt {3\,x^2-1}-\mathrm {i}}{\sqrt {2}-\sqrt {2-3\,x^2}}\right )}{36}+\frac {\frac {7\,\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}{36\,\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}+\frac {143\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^3}{36\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^3}-\frac {143\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^5}{36\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^5}-\frac {7\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^7}{36\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^7}+\frac {\sqrt {2}\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^2\,4{}\mathrm {i}}{9\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^2}-\frac {\sqrt {2}\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^4\,40{}\mathrm {i}}{9\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^4}+\frac {\sqrt {2}\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^6\,4{}\mathrm {i}}{9\,{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^6}}{\frac {4\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^2}{{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^2}+\frac {6\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^4}{{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^4}+\frac {4\,{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^6}{{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^6}+\frac {{\left (\sqrt {3\,x^2-1}-\mathrm {i}\right )}^8}{{\left (\sqrt {2}-\sqrt {2-3\,x^2}\right )}^8}+1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{3} \sqrt {3 x^{2} - 1}}{\sqrt {2 - 3 x^{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________